xcode : an extensible component description language for system software 一種面向系統(tǒng)軟件的可擴展構(gòu)件描述語言
we use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy 由于構(gòu)件可能具有不同的抽象層次和粒度,我們采用了時序邏輯語言xyze作為構(gòu)件描述語言,這種語言能夠描述構(gòu)件的靜態(tài)語義和動態(tài)執(zhí)行,并且能在不同抽象層次上對系統(tǒng)進行形式化描述。